#include "ScnsTimer.c.h"

#if defined(SCNS_TIMER_ENABLE)&&SCNS_TIMER_ENABLE==1

uint64 scnsBspTimerGetSysTickVal(void)
{
    return 0;
}

uint64 scnsBspTimerGetSysTickLoad(void)
{
    return 0;
}

#endif